Auto-commit of generated files.

diff --git a/autogen/configure b/autogen/configure
index cc2fafb3803ec8383c0c2d3a3be2e657cfc7bba9..5cad2fefd244016a22f6941ba2b14b4729029536 100755 (executable)
--- a/autogen/configure
+++ b/autogen/configure
@@ -4355,7 +4355,7 @@ this option's value should be \`yes', \`no', \`gfile', \`inotify' or \`w32'.
    with_file_notification=$val
 
 else
-  with_file_notification=yes
+  with_file_notification=$with_features
 fi